Recursion Theory on the Reals and Continuous-Time Computation
نویسنده
چکیده
We de ne a class of recursive functions on the reals analogous to the classical recursive functions on the natural numbers corresponding to a conceptual analog computer that operates in continuous time This class turns out to be surprisingly large and includes many functions which are uncomputable in the traditional sense We stratify this class of functions into a hierarchy according to the number of uses of the zero nding operator At the lowest level are continuous functions that are di erentially algebraic and computable by Shannon s General Purpose Analog Computer At higher levels are in creasingly discontinuous and complex functions We relate this hierarchy to the Arithmetical and Analytical Hierarchies of classical recursion the
منابع مشابه
Continuous-time computation with restricted integration capabilities
Recursion theory on the reals, the analog counterpart of recursive function theory, is an approach to continuous-time computation inspired by the models of Classical Physics. In recursion theory on the reals, the discrete operations of standard recursion theory are replaced by operations on continuous functions such as composition and various forms of differential equations like indefinite inte...
متن کاملAnalog computers and recursive functions over the reals
In this paper we show that Shannon’s General Purpose Analog Computer (GPAC) is equivalent to a particular class of recursive functions over the reals with the flavour of Kleene’s classical recursive function theory. We first consider the GPAC and several of its extensions to show that all these models have drawbacks and we introduce an alternative continuous-time model of computation that solve...
متن کاملCOntinuous tiMe comPUTations. Computations on the Reals.
We propose to contribute to understand computation theories for continuous time systems. This is motivated by • understanding algorithmic complexity of automatic verification procedures for continuous and hybrid systems; • understanding some new models of computations. New models of computations under study include analog electronics models, and some recent sensor and telecommunication networks...
متن کامل1 Objectives
1 Objectives The objective is to investigate continuous-time models of computation and the complexity thereof. Two complementary approaches will be followed. On one hand, at a more abstract level, the focus is on the theory of real recursive functions. The main objectives are: 1) clarify the algebraic properties of the relations between analog and standard notions of complexity; 2) find analog ...
متن کاملThe Complexity of Real Recursive Functions
We explore recursion theory on the reals, the analog counterpart of recursive function theory. In recursion theory on the reals, the discrete operations of standard recursion theory are replaced by operations on continuous functions, such as composition and various forms of differential equations. We define classes of real recursive functions, in a manner similar to the classical approach in re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 162 شماره
صفحات -
تاریخ انتشار 1996